منابع مشابه
TECHNICAL REPORT 95-1 On Implicit Arguments
A typechecker for a typed -calculus having implicit arguments is presented. The typechecker works in such a way that the uniqueness of implicit arguments is always preserved during reduction. Consequently, when it compares two terms by reduction, it can reduce them without inferring implicit arguments. Before describing the typechecker, we analyze various situations where the uniqueness of impl...
متن کاملTechnical Report: Event Stream Processing
2 Publish / Subscribe Systems Publish / Subscribe systems consist of publishers, which publish messages, and subscribers, which subscribe to certain topics of messages. Generally these messages can be any kind of information, but in our case we have focused on event notifications. The difficulty of such a system is the distribution of the published objects to the correct subscribers. In the sem...
متن کاملA multimedia tutorial for user interface design Report 95 - 35
A selection of these reports is available in PostScript form at the Faculty's anonymous ftp-Introduction Both teaching and learning user interface (UI) design is difficult, especially because it is a discipline that has grown by trial-and-error, rather than by theory; there is little theory available on the design of user interfaces. Moreover, UI design theory encompasses both a wide range of a...
متن کاملTECHNICAL REPORT 95-02 Controlling Priority Inversion using Abortions
Making critical sections abortable is a promising approach to controlling priority inversions. To improve the schedulability of a system using abortions, the maximum number of abortions should be decreased. In this paper, we propose a real-time synchronization protocol named the selective abort protocol (SAP) which introduces a new abort scheme to the priority ceiling protocol. Our proposed sch...
متن کاملFirst Trimester Uterine Rupture, a Rare but Life-Threatening Event: A Case Report
Uterine rupture often occurs in the third trimester of pregnancy or during labor. Its occurrence in early pregnancy and in the absence of any predisposing factors is very rare. Untimely diagnosis and a low index of suspicion could be life-threatening. Here we report the case of a 29-year-old woman with a history of two previous cesarean sections. An ultrasound report revealed a dead fetus in th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Progress in Photovoltaics: Research and Applications
سال: 1995
ISSN: 1062-7995
DOI: 10.1002/pip.4670030607